théorème fondamental sur les fonctions continues :
Soit \(f\) une fonction telle que \(f:[a,b]\to\Bbb R\) continue (\(-\infty\lt a\lt b\lt +\infty\))
Alors \(f\) est bornée et atteint ses bornes
Autrement dit, \(\exists c_1\in[a,b],\exists c_2\in[a,b]\) tq $$\forall x\in[a,b],f(c_1)\leqslant f(x)\leqslant f(c_2)$$
Démonstration : $$\begin{align}&f\text bornée\iff f\text majorée et f\text minorée\\ \\ &\textmontrons que f\text est majorée :\\ &\exists M\in\Bbb R\text tq \forall x\in[a,b,f(x)\leqslant M\\ &\textpar l'absurde, supposons que f\text n'est pas majorée :\\ &\forall M\in\Bbb R,\exists x\in[a,b],f(x)>M\\ &\forall n\in\Bbb N,\exists x_n\in[a,b],f(x_n)>n\\ &x_n\in[a,b],\text donc x_n\text est bornée\\ &\textd'après le théorème de Bolzano-Weiestreass,\\ &\exists \varphi\in\Bbb N\to\Bbb N\text tq \varphi\text est strictement croissante tq\\ &x_\varphi(n)\undersetn\to+\infty\longrightarrow\zeta\text où \zeta\in[a,b]\\ &\textcomme f\text est continue sur [a,b],\\ &\textla caractérisation séquentielle de la limite implique que :\\ &f(x_\varphi(n))\undersetn\to+\infty\longrightarrow f(\zeta)\\ &\textde plus, f(x_\varphi(n))>\varphi(n)\geqslant n\undersetn\to+\infty\longrightarrow+\infty\\ &\implies f(x_\varphi(n))\undersetn\to+\infty\longrightarrow+\infty,\textce qui est absurde\\ \\ &f\text continue sur [a,b]\implies -f\text majorée\implies f\text minorée\\ &\text(d'après la première étape de cette démonstration)\\ &\implies f\text bornée\\ \\ &\textmontrons que f\text atteint ses bornes :\\ &\textsoit E=\f(x):x\in[a,b]\subset\Bbb R\\ \&E\neq\varnothing\;(\textcar f(a)\in E)\\ &E\text borné car f\text bornée\\ &\textdonc M=\sup E\text et m=\inf E\text existent dans \Bbb R\\ &\exists(y_n)_n\in\Bbb N,y_n\in E,\exists(z_n)_n\in\Bbb N,z_n\in E\text tq :\\ &y_n\undersetn\to+\infty\longrightarrow M\text et z_n\undersetn\to+\infty\longrightarrow m\\ &y_n\in E\implies \exists x_n\in[a,b]\text tq y_n=f(x_n)\\ &z_n\in E\implies \exists \zeta_n\in[a,b]\text tq z_n=f(\zeta_n)\\ &\textd'après le théorème de Bolzano-Weiestrass, \\ &\exists\varphi:\Bbb N\to\Bbb N\text strictement croissante,\exists \psi:\Bbb N\to\Bbb N\\ &x_\varphi(n)\undersetn\to+\infty\longrightarrow c_1\in[a,b]\\ &\zeta_\psi(n)\undersetn\to+\infty\longrightarrow c_2\in[a,b]\\ &\textde plus, comme f\text est continue sur [a,b],\\ &f(x_\varphi(n))\undersetn\to+\infty\longrightarrow f(c_1)\text et z_\psi(n)=f(\zeta_\psi(n))\undersetn\to+\infty\longrightarrow f(c_2)\\ &\textor (y_\varphi(n))_n\in\Bbb N\text est une sous-suite de (y_n)\text qui converge vers M\\ &\textet donc y_\varphi(n)\undersetn\to+\infty\longrightarrow M\\ &\textpar unicité de la limite,M=f(c_1)\\ &\textde même, m=f(c_2)\\ &\textde plus, \forall x\in[a,b],m=f(c_2)\leqslant f(x)\leqslant M=f(c_1)
\end{align}$$]
Théorème des valeurs intermédiaires
Théorème de la limite monotone
Théorème de la bijection